home *** CD-ROM | disk | FTP | other *** search
- d(Si(x)/d(x)) = sin(x)/x
- d(Ci(x)/d(x)) = cos(x)/x
- d(Ei(x)/d(x)) = exp(x)/x
- d(Li(x)/d(x)) = 1/ln(x)
-
- inte(sin(x)/x*d(x)) = Si(x)
- inte(cos(x)/x*d(x)) = Ci(x)
- inte(exp(x)/x*d(x)) = Ei(x)
- inte(d(x)/ln(x)) = Li(x)
-
- Si(0)=0
- Si(inf)=pi/2
- Si(-inf)=-pi/2
-
- end